Smt - Convergents